翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Theory and Practice of Logic Programming : ウィキペディア英語版
Association for Logic Programming

The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of Logic Programming, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the International Conference on Logic Programming,〔http://academic.research.microsoft.com/RankList?entitytype=3&topDomainID=2&subDomainID=24&last=0&start=1&end=100〕〔http://www.conference-ranking.org/cs.html〕 oversees the ''Theory and Practice of Logic Programming'' (TPLP)〔http://journals.cambridge.org/action/displayJournal?jid=TLP〕 journal published by Cambridge University Press, and publishes an electronic newsletter.
The activities of the Association are directed by an Executive Committee and President, elected by ALP members. The current president is Torsten Schaub at the University of Potsdam. The previous presidents were: Keith Clark at Imperial College London from 1986 to 1990, Herve' Gallaire at ECRC in Munich from 1990 to 1993, David Scott Warren at Stony Brook from 1993 to 1997, Krzysztof Apt at CWI in Amsterdam from 1997 to 2001, Veronica Dahl at Simon Fraser University from 2001 to 2004, Manuel Hermenegildo at the Technical University of Madrid from 2004 to 2010, and Gopal Gupta at the University of Texas, Dallas from 2010 to 2014.
In 1997, the ALP bestowed to fifteen recognized researchers in logic programming the title ''Founders of Logic
Programming'' to recognize them as pioneers in the field.〔(ALP awards )〕
* Maurice Bruynooghe (Belgium)
* Jacques Cohen (US)
* Alain Colmerauer (France)
* Keith Clark (UK)
* Veronica Dahl (Canada/Argentina)
* Maarten van Emden (Canada)
* Hervé Gallaire (France)
* Robert Kowalski (UK)
* Jack Minker (US)
* Fernando Pereira (US)
* Luis Moniz Pereira (Portugal)
* Ray Reiter (Canada)
* J. Alan Robinson (US)
* Peter Szeredi (Hungary)
* David H. D. Warren (UK)
==References==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Association for Logic Programming」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.